Ontology merging with formal concept analysis

Ontologies have been established for knowledge sharing and are widely used as a means for conceptually structuring domains of interest. With the growing usage of ontologies, the problem of overlapping knowledge in a common domain becomes critical. In this short paper, we address two methods for merging ontologies based on Formal Concept Analysis: FCA-Merge and ONTEX. --- FCA-Merge is a method for merging ontologies following a bottom-up approach which offers a structural description of the merging process. The method is guided by application-specific instances of the given source ontologies. We apply techniques from natural language processing and formal concept analysis to derive a lattice of concepts as a structural result of FCA-Merge. The generated result is then explored and transformed into the merged ontology with human interaction. --- ONTEX is a method for systematically structuring the top-down level of ontologies. It is based on an interactive, top-down- knowledge acquisition process, which assures that the knowledge engineer considers all possible cases while avoiding redundant acquisition. The method is suited especially for creating/merging the top part(s) of the ontologies, where high accuracy is required, and for supporting the merging of two (or more) ontologies on that level.

Institutions, Behavior and Evolution

The three articles constituting this thesis are for reasons of content or method related to the following three fields in economics: Behavioral Economics, Evolutionary Game Theory and Formal Institutional Economics. A core element of these fields is the concept of individual preferences. Preferences are of central importance for the conceptional framework to analyze human behavior. They form the foundation for the theory of rational choice which is defined by the determination of the choice set and the selection of the most preferred alternative according to some consistency requirements. The theory of rational choice is based on a very simplified description of the problem of choice (object function and constraints). However, that choices depend on many more factors is for instance propagated by psychological theories and is supported by many empirical and experimental studies. This thesis adds to a better understanding of individual behavior to the extent that the evolution of certain characteristics of preferences and their consequences on human behavior forms the overarching theme of the dissertation. The long-term effect of evolutionary forces on a particular characteristic of importance in the theoretical, empirical and experimental economic literature, the concept of inequality aversion, is subject of the article “The evolution of inequality aversion in a simplified game of life” (Chapter 4). The contribution of the article is the overcoming of a restriction of former approaches to analyze the evolution of preferences in very simple environments. By classifying human interaction into three central economic games, the article provides a first step towards a simplified and sufficiently complete description of the interaction environment. Within such an environment the article characterizes the evolutionary stable preference distribution. One result shows, that the interaction of the aforementioned three classes can stabilize a preference of inequality aversion in the subpopulation which is favored in the problem of redistribution. The two remaining articles are concerned with social norms, which dissemination is determined by medium-run forces of cultural evolution. The article “The impact of market innovations on the evolution of social norms: the sustainability case.“ (Chapter 2) studies the interrelation between product innovations which are relevant from a sustainability perspective and an according social norm in consumption. This relation is based on a conformity bias in consumption and the attempt to avoid cognitive dissonances resulting from non-compliant consumption. Among others, it is shown that a conformity bias on the consumption side can lead to multiple equilibria on the side of norm adoption. The article “Evolution of cooperation in social dilemmas: signaling internalized norms.” (Chapter 3) studies the emergence of cooperation in social dilemmas based on the signaling of social norms. The article provides a potential explanation of cooperative behavior, which does not rely on the assumption of structured populations or on the unmotivated ability of social norms to restrict individual actions or strategy spaces. A comprehensive result of the single articles is the explanation of the phenomenon of partial norm adaption or dissemination of preferences. The plurality of the applied approaches with respect to the proximity to the rational choice approach and regarding the underlying evolutionary mechanics is a particular strength of the thesis. It shows the equality of these approaches in their potential to explain the phenomenon of cooperation in environments that provide material incentives for defective behavior. This also points to the need of a unified framework considering the biological and cultural coevolution of preference patterns.

Optimization-Based Robotic Manipulation for Safe Interaction with Human Operators

This thesis investigates a method for human-robot interaction (HRI) in order to uphold productivity of industrial robots like minimization of the shortest operation time, while ensuring human safety like collision avoidance. For solving such problems an online motion planning approach for robotic manipulators with HRI has been proposed. The approach is based on model predictive control (MPC) with embedded mixed integer programming. The planning strategies of the robotic manipulators mainly considered in the thesis are directly performed in the workspace for easy obstacle representation. The non-convex optimization problem is approximated by a mixed-integer program (MIP). It is further effectively reformulated such that the number of binary variables and the number of feasible integer solutions are drastically decreased. Safety-relevant regions, which are potentially occupied by the human operators, can be generated online by a proposed method based on hidden Markov models. In contrast to previous approaches, which derive predictions based on probability density functions in the form of single points, such as most likely or expected human positions, the proposed method computes safety-relevant subsets of the workspace as a region which is possibly occupied by the human at future instances of time. The method is further enhanced by combining reachability analysis to increase the prediction accuracy. These safety-relevant regions can subsequently serve as safety constraints when the motion is planned by optimization. This way one arrives at motion plans that are safe, i.e. plans that avoid collision with a probability not less than a predefined threshold. The developed methods have been successfully applied to a developed demonstrator, where an industrial robot works in the same space as a human operator. The task of the industrial robot is to drive its end-effector according to a nominal sequence of grippingmotion-releasing operations while no collision with a human arm occurs.

The Human in the Loop: User Participation in Self-Adaptive Software

Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.